Using a Configurator for Modelling and Configuring Software Product Lines based on Feature Models
نویسندگان
چکیده
We show how WeCoTin, an academic prototype product configurator originally designed for non-software products, can be used to create and edit feature models of software product lines. Further, we show that WeCoTin enables the easy configuration of software product lines, i.e., generating descriptions of valid products in the product line.
منابع مشابه
A Koala-Based Approach for Modelling and Deploying Configurable Software Product Families
An approach for modelling configurable software product families (CSPFs) and for automated configuring of product individuals using the models is presented. It is based on a similar approach for configuring physical products. The conceptual foundation and syntax of the Koalish modelling language used for this purpose are defined. The language extends Koala, a component model and architecture de...
متن کاملKumbang Configurator–A Configuration Tool for Software Product Families∗
This paper presents Kumbang Configurator, a prototype system for deriving product individuals from configurable software product families. Configurable software product families resemble configurable products in that they have a pre-defined structure and can be customised according to customer requirements in a routine manner. The conceptual basis underlying the configurator is Kumbang, a langu...
متن کاملTool for Configuring Product Individuals from Configurable Software Product Families
This position paper presents a tool for configuring product individuals from configurable software product lines. The product derivation is done by making selections based on a configuration model in a way that best satisfies customer requirements at hand. The tool produces a description of the product individual as an output. The implementation is based on both component-based and feature-base...
متن کاملComposing Event-B Specifications - Case-Study Experience
Event-B is a formal method, based on set theory and firstorder logic, for specification and verification of reactive systems supported by the Rodin tool kit. Feature modelling is a well-known technique for managing variability and configuring products within software product lines (SPLs). Our objective is to explore whether we can use existing Event-B composition techniques and tooling for feat...
متن کاملPure Coordination using the Coordinator--Configurator Pattern
This work-in-progress paper reports on our efforts to improve different aspects of coordination in complex, component-based robotic systems. Coordination is a system level aspect concerned with commanding, configuring and monitoring functional computations such that the system as a whole behaves as desired. To that end a variety of models such as Petri-nets or Finite State Machines may be utili...
متن کامل